541. Programming Languages and Systems -- ESOP '96 :
Author: edited by Hanne Riis Nielson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.

542. Programming Logic and Design, Comprehensive
Author: / Joyce Farrell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

543. Programming Logic and Design, Comprehensive
Author: / Joyce Farrell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

544. Programming Logic and Design: Comprehensive
Author: / Joyce Farrell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

545. Programming Logic and Design, Comprehensive
Author: / Joyce Farrell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

546. Programming Logic and Design, Comprehensive, 7th Edition
Author: / Joyce Farrell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK

547. Programming and Mathematical Method :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1992


548. Programming in Prolog
Author: by William F. Clocksin, Christopher S. Mellish.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Logic design.
Classification :
QA76
.
73
.
P76
B995
1984


549. Programming in Prolog
Author: by William F. Clocksin, Christopher S. Mellish.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
73
.
P76
B995
1994


550. Programming language implementation and logic programming
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Parallel programming (Computer science) ► Logic design
Classification :
004
P964


551. Programming languages and systems :
Author: Hongseok Yang (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
7
.
A65
2011


552. Programming languages and systems :
Author: Amal Ahmed (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6


553. Programming languages and systems :
Author: Sukyoung Ryu (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
Classification :
QA76
.
7


554. Programs as Data Objects :
Author: by Harald Ganzinger, Neil D. Jones.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.

555. Progress in Artificial Intelligence :
Author: edited by Miguel Filgueiras, Luís Damas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer Science.

556. Proof and system-reliability
Author: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.

557. Proof technology and computation /
Author: edited by Helmut Schwichtenberg and Katharina Spies.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
Classification :
QA76
.
9
.
A96
N38
2003eb


558. Quantum-dot cellular automata circuits for nanocomputing applications
Author: / edited by Trailokya Nath Sasamal ... [et al.].
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic circuits.,Quantum computing.,Quantum dots.,Quantum electronics.

559. RIMS Symposia on Software Science and Engineering II :
Author: edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6
E358
1986

